University of Nottingham - PDFSEARCH.IO - Document Search Engine

University of Nottingham
Results: 779

#	Item
481	Reasoning about plan revision in BDI agent programs Natasha Alechinaa , Mehdi Dastanib , Brian Logana , John-Jules Ch. Meyerb a School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-05-13 11:58:34 Determinacy Multi-agent systems 2APL 3APL
482	Fair allocation of group tasks according to social norms Natasha Alechina1 , Wiebe van der Hoek2 , and Brian Logan1 1 University of Nottingham, UK, University of Liverpool, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-24 12:34:32 Sociology Norm Philosophy Social philosophy
483	Resource-Bounded Belief Revision and Contraction Natasha Alechina, Mark Jago, and Brian Logan School of Computer Science, University of Nottingham, Nottingham, UK {nza, mtw, bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-04-01 07:56:48 Logic Artificial intelligence Theory of justification Contraction Science Epistemology Logic programming Knowledge representation Belief revision
484	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib ⋆ University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-02-27 06:28:19 Quantum information theory Ω-automaton Symbol Epistemic modal logic Automata theory
485	Keeping in Touch: Agents Reporting from Collaborative Virtual Environments Brian Logan, Mike Fraser, Daniel Fielding, Steve Benford, Chris Greenhalgh School of Computer Science and IT University of Nottingham, Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-01-21 05:59:22 Agent-based model Ambient intelligence Intelligent agent Virtual reality Virtual world Human–computer interaction Software agent Presence Knowledge Artificial intelligence Science Embodied agent
486	Verifying time, memory and communication bounds in systems of reasoning agents Natasha Alechina, Brian Logan, Nguyen Hoang Nga and Abdur Rakib∗ School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-04-08 05:17:39 Deduction Propositional calculus Mathematical logic Artificial intelligence Logical syntax Epistemic modal logic Reasoning system Entailment Formula Logic Science Mathematics
487	Minimal preference change Natasha Alechina1 , Fenrong Liu2 , and Brian Logan1 1 School of Computer Science, University of Nottingham Department of Philosophy, Tsinghua University, Beijing, China Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-07-26 06:11:06 Knowledge representation Logic Logic programming Social psychology Science Contraction Preference Edge contraction Artificial intelligence Operator theory Consumer theory Belief revision
488	Belief ascription under bounded resources ∗ Natasha Alechina and Brian Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK ({nza,bsl}@cs.nott.ac.uk) Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-08-27 04:02:10 Constructible universe Epistemic modal logic Entailment Logic Logical syntax Propositional calculus
489	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-10 12:58:33 Metalogic Model theory Mathematical logic Logical syntax Interpretation Modal logic Function Constructible universe Well-formed formula Logic Formal languages Mathematics
490	Modularity and compositionality in Jason Neil Madden and Brian Logan School of Computer Science University of Nottingham, UK. {nem,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-18 06:12:42 Artificial intelligence 2APL Prolog Datalog Modularity AgentSpeak Logic programming Programming language Coupling Computing Multi-agent systems Software engineering

UPDATE